Trefferliste "Specification Languages" - alle Bücher

Ihre Suche nach "Specification Languages" (Bücher) ergab 2 Treffer.

Verified Software. Theories, Tools and Experiments

Lecture Notes in Computer Science - Band 14095

This book constitutes the refereed proceedings of the 15th International Conference on Verified Software, VSTTE 2023, held in Ames, IA, USA, October 23¿24, 2023.The 6 full papers presented in this volume …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 54,75* Aktueller Preis: EUR 54,75

Artikel merken

In den Warenkorb

Menge ändern

Recent Trends in Algebraic Development Techniques

This book constitutes the thoroughly refereed post-conference proceedings of the 27th IFIP WG 1.3 International Workshop on Algebraic Development Techniques, WADT 2024, held in Enschede, The Netherlands, …

lieferbar innerhalb 2-3 Wochen

Buch

EUR 120,46* Aktueller Preis: EUR 120,46

Artikel merken

In den Warenkorb

Menge ändern